<?

if (!isset($_SESSION["admin_userid"])) {
    header("location:index.php");
    exit();
}
?>